ma{-}trivial{-}interface($i$;$k$;$V$;$f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$i$ : $<\otimes$, $k$ : $<$$V$, $\lambda$$s$,$v$. $f$($v$)$>>$